(set-logic NRA)
(set-option :model_validate true)
(set-option :smt.arith.solver 6)
(declare-const r0 Real)
(declare-const r1 Real)
(push 1)
(assert (< 0.0 r1))
(assert (> 0.0 (- (* r1 r0) r0)))
(check-sat)